/*
 * Automatically generated C config: don't edit
 * Kiddie-OS version: KERNELVERSION
 * Fri Apr 23 13:43:09 2010
 */
#ifndef AUTOCONF_H
#define AUTOCONF_H

#define CONFIG_ARM 1
#define CONFIG_MMU 1

#include "platform.h"
#include "hardware.h"
#include "io.h"
#include "memory.h"

#define CONFIG_DRAM_BASE    INTEGRATOR_RAM_BASE
#define CONFIG_UART0_BASE   INTEGRATOR_UART0_BASE
#define CONFIG_UART1_BASE   INTEGRATOR_UART1_BASE

#define CONFIG_CT_BASE      INTEGRATOR_CT_BASE	/*  Counter/Timers */
#define CONFIG_IC_BASE      INTEGRATOR_IC_BASE	/*  Interrupt Controller */
#define CONFIG_RTC_BASE     INTEGRATOR_RTC_BASE	/*  Real Time Clock */
#define CONFIG_KBD_BASE     INTEGRATOR_KBD_BASE
#define CONFIG_MOUSE_BASE   INTEGRATOR_MOUSE_BASE	/*  Mouse */

//#define CONFIG_VIDEO_BASE 0xB8000
#define CONFIG_DEBUG_INFO 1

#endif /* AUTOCONF_H */

